Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
471	national academy of sciences Jerzy Neyman Add to Reading List Source URL: www.nasonline.org Language: English - Date: 2012-08-02 15:14:00 Fellows of the Royal Society Design of experiments Statistical theory Jerzy Neyman Alternative hypothesis Egon Pearson Likelihood-ratio test Statistical hypothesis testing Type I and type II errors Statistics Hypothesis testing Statistical inference
472	Type Inference for Record Concatenation and Subtyping Jens Palsberg Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2003-11-05 23:20:33 Data types Theoretical computer science Formal languages Computing Object-oriented programming Obliq Subtype polymorphism Type system Concatenation Mathematics Software engineering Type theory
473	Type Inference and Optimisation for an Impure World. Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-04-28 07:18:39 Functional languages Type theory Functional programming Procedural programming languages Data types Haskell Type class Monad ML Software engineering Computer programming Computing
474	PDF Document Add to Reading List Source URL: www.wiete.com.au Language: English - Date: 2012-10-24 03:18:24 Knowledge Statistical inference Design of experiments Psychometrics Error Statistical hypothesis testing Null hypothesis Probability of error Type I and type II errors Statistics Hypothesis testing Science
475	PDF Document Add to Reading List Source URL: www.stats.org.uk Language: English - Date: 2006-06-20 20:12:59 Statistical tests Philosophy of science Statistical inference Statistical hypothesis testing Confirmation bias Scientific method Falsifiability Statistical power Type I and type II errors Statistics Hypothesis testing Design of experiments
476	PDF Document Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2010-03-13 20:10:51 Type theory Data types Functional languages Lisp programming language Type systems Type inference EuLisp Lisp Void type Software engineering Programming language theory Computing
477	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English Type theory Data types Functional programming Monad Generic programming Type class Type inference Type system Polymorphism Software engineering Computing Computer programming
478	PDF Document Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2004-11-01 16:12:01 Procedural programming languages C++ ALGOL 68 C++ classes Type inference Sequence container Left recursion Recursive ascent parser Software engineering Programming language theory Computing
479	PDF Document Add to Reading List Source URL: lucacardelli.name Language: English - Date: 2007-10-27 08:53:19 Programming language theory Data types Type inference Parametric polymorphism Type variable Type system Polymorphism Hindley–Milner ML Software engineering Type theory Computing
480	PDF Document Add to Reading List Source URL: sites.google.com Language: English Software engineering Programming language theory Functional programming Type systems Program analysis Generalized algebraic data type Type inference Algebraic data type Algorithm Type theory Mathematics Data types

UPDATE